Finding the smallest binarization of a CFG is NP-hard
نویسندگان
چکیده
منابع مشابه
Finding the smallest binarization of a CFG is NP-hard
Grammar binarization is the process and result of transforming a grammar to an equivalent form whose rules contain at most two symbols in their right-hand side. Binarization is used, explicitly or implicity, by a wide range of parsers for contextfree grammars and other grammatical formalisms. Non-trivial grammars can be binarized in multiple ways, but in order to optimize the parser’s computati...
متن کاملFinding MAPs for Belief Networks is NP-Hard
Given a probabilistic world model, an important problem is to find the maximum a-posteriori probability (MAP) instantiation of all the random variables given the evidence. Numerous researchers using such models employ some graph representation for the distributions, such as a Bayesian belief network. This representation simplifies the complexity of specifying the distributions from exponential ...
متن کاملTrainyard is NP-hard
Recently, due to the widespread diffusion of smart-phones, mobile puzzle games have experienced a huge increase in their popularity. A successful puzzle has to be both captivating and challenging, and it has been suggested that this features are somehow related to their computational complexity [5]. Indeed, many puzzle games – such as Mah-Jongg, Sokoban, Candy Crush, and 2048, to name a few – a...
متن کاملFinding Approximate Solutions to NP-Hard Problems by Neural Networks is Hard
Finding approximate solutions to hard combinatorial optimization problems by neu-ral networks is a very attractive prospect. Many empirical studies have been done in the area. However, recent research about a neural network model indicates that for any NP-hard problem the existance of a polynomial size network that solves it implies that NP=co-NP, which is contrary to the well-known conjecture ...
متن کاملFinding a largest subset of rooted triples identifying a tree is an NP - hard task Research
Supertree methods are used to build comprehensive phylogenies from source trees with overlapping sets of leaves. Ranwez et al. (2007) recently proposed a polynomial-time method outputting supertrees that verify attractive mathematical properties to obtain a consensual summary of a collection of source trees. The topological information of the source trees that is considered by the method is the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2014
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2013.12.003